Skip to content

chore: release v0.7.2 - #19

Merged
lexoliu merged 1 commit into
devfrom
release-plz-2026-11-09T23-01-03Z
Nov 9, 2026
Merged

lexoliu merged 1 commit into
devfrom
release-plz-2026-11-09T23-01-03Z

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 9, 2026 •

Copy link
Copy Markdown
Contributor

🤖 New release

  • executor-core: 0.7.1 -> 0.7.2 (✓ API compatible changes)
Changelog

0.7.2 - 2026-11-09

Added

  • compio backend

Fixed

  • mark the erased task handles #[must_use]
  • gate the tokio backend to non-wasm targets

Other

  • Merge pull request fix: mark the erased task handles #[must_use] #9 from lexoliu/fix/task-must-use
  • open the release-plz bump PR against dev, publish on main
  • accept an empty test run for the default feature set
  • merge main into dev
  • raise the MSRV to 1.95
  • gate compio off wasm32 and raise the MSRV to 1.93
  • run tests with cargo nextest (#10)
  • publish to crates.io via OIDC trusted publishing (#6)
  • gate pull requests into main so only dev may merge (#7)
  • use Waker::noop() instead of a hand-rolled TestWaker
  • use stable toolchain
  • add rust-cache to dep-check workflow
  • add weekly dependency check workflow


This PR was generated with release-plz.

@github-actions
github-actions Bot force-pushed the release-plz-2026-11-09T23-01-03Z branch from 9945ffa to 163173b Compare November 9, 2026 23:02
@lexoliu
lexoliu merged commit 8050237 into dev Nov 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant